Boolean analysis

Results: 158



#Item
11Mathematics / Mathematical analysis / Algebra / Boolean algebra / Calculus / Syntax / Variable / Boolean algebras canonically defined / Monotonic function

Microsoft Word - IBSAlgorithms.doc

Add to Reading List

Source URL: foibg.com

Language: English - Date: 2015-02-02 08:45:53
12Algebra / Mathematics / Linear algebra / Matrix theory / Numerical linear algebra / Multivariate statistics / Dimension reduction / Non-negative matrix factorization / Matrix / Singular value decomposition / Principal component analysis / Factorization

A MDL4BMF: Minimum Description Length for Boolean Matrix Factorization PAULI MIETTINEN, Max-Planck Institute for Informatics JILLES VREEKEN, Max-Planck Institute for Informatics, Saarland University, University of Antwer

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2014-05-09 10:45:37
13Video game development / Cybernetics / Evolution / Evolutionary algorithm / Mu / Electronic Arts / Gaming / Software development

Runtime Analysis of the (µ+1) EA on Simple Pseudo-Boolean Functions Carsten Witt∗ FB Informatik, LS 2, Universit¨at Dortmund, 44221 Dortmund, Germany

Add to Reading List

Source URL: ls2-www.cs.uni-dortmund.de

Language: English - Date: 2007-02-02 05:18:09
14Logic / Mathematics / Philosophy / Lattice theory / Data mining / Formal concept analysis / Machine learning / Ontology / Algebraic logic / Boolean algebra / Binary relation / Modal logic

On the Modal Understanding of Triadic Contexts Frithjof Dau and Rudolf Wille Technische Universitat Darmstadt, Fachbereich Mathematik Schlogartenstr. 7, D{64289 Darmstadt, fdau,

Add to Reading List

Source URL: www.dr-dau.net

Language: English - Date: 2007-10-31 23:07:37
15Mathematics / Mathematical analysis / Quantification / Universal quantification / Inverse trigonometric functions / Boolean algebra / Conditional mutual information

Mancala Ad Infinitum -- Gary Preisser Page 1 of 8 Mancala is an African game with myriad variations. Many historians believe it to be the oldest game in the world. Thw word Mancala means "to transfer" in Arabic. Variati

Add to Reading List

Source URL: www2.stetson.edu

Language: English - Date: 2014-05-07 15:35:26
16Information science / Information retrieval / Statistical natural language processing / Tfidf / Vector space model / Artificial neural network / OPS5 / Search engine technology / Standard Boolean model / Latent semantic analysis

Programming Question BBN (Beltway Bandits, NA) is building a query tool to help their grant writers find old proposals to reuse for new proposals. Your part is a “query improver” which should take a query and suggest

Add to Reading List

Source URL: cs.northwestern.edu

Language: English - Date: 2004-06-24 16:16:44
17Mathematical analysis / Mathematics / Analysis / Fourier analysis / Functions and mappings / Fourier transform / Joseph Fourier / Germ / Derivative

Gowers U3 norm of cubic bent Boolean functions Sugata Gangopadhyay Department of Mathematics Indian Institute of Technology Roorkee The 11th International Conference on Finite Fields and their Applications

Add to Reading List

Source URL: www.math.uni-magdeburg.de

Language: English
18Mathematical analysis / Mathematics / Arithmetic / Computer arithmetic / Interval arithmetic / Numerical analysis / Inverse trigonometric functions / Boolean algebra / Holomorphic functional calculus

Verification Methods for Dense and Sparse Systems of Equations ∗ S.M. Rump, Hamburg In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the metho

Add to Reading List

Source URL: www.ti3.tu-harburg.de

Language: English - Date: 2005-11-23 04:44:10
19Logic in computer science / Mathematical logic / Aachen / RWTH Aachen University / Termination analysis / Boolean satisfiability problem / NP-completeness / Algorithm / Rewriting

Aachen Department of Computer Science Technical Report SAT Encodings: From Constraint-Based Termination

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

Language: English - Date: 2012-10-02 11:28:08
20Dynamical systems / Functional analysis / Mathematical physics / Statistical mechanics / Computational neuroscience / Lyapunov exponent / Boolean network / Artificial neural network / Chaos theory / Perturbation theory

LETTER Communicated by Surya Ganguli Connectivity, Dynamics, and Memory in Reservoir Computing with Binary and Analog Neurons

Add to Reading List

Source URL: www.gatsby.ucl.ac.uk

Language: English - Date: 2014-10-13 19:51:12
UPDATE